A rewriting logic semantics for NCL
نویسندگان
چکیده
منابع مشابه
A Rewriting Logic Semantics for ATL
As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise specifications of the expected behavior of transformations, allowing users to understand them and to use them properly, and MT tool builders to develop correct MT engines, compilers, etc. In addition, formal semantics allow modeler...
متن کاملTowards a Rewriting Logic Semantics for ATL
As the complexity of model transformation (MT) grows, the need to count on formal semantics of MT languages also increases. Firstly, formal semantics provide precise specifications of the expected behavior of transformations, which are crucial for both MT users (to be able to understand them and to use them properly) and MT tool builders (to develop correct MT engines, optimizers, etc.). Second...
متن کاملConnuent Rewriting Systems for Logic Programming Semantics Connuent Rewriting Systems for Logic Programming Semantics
We introduce the general notion of a Connuent LP-System, which is a rewriting system on the set of all logic programs over a signature L. Such a system is based on certain transformation rules and induces a semantics SEM in a natural way. We show that most of the well-known semantics for normal logic programs are induced by connuent LP-systems. Moreover, we show by introducing several new trans...
متن کاملThe rewriting logic semantics project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding their respective limitations and allowing succinct semantic definitions. The fact that a rewrite logic theory’s axioms include both equations and rewrite rules provides a useful “abstraction dial” to find the right balan...
متن کاملSemantics, modularity, and rewriting logic
A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2015.04.006